Process graph

Results: 71



#Item
31Software testing / LLVM / Software bug / Model checking / Software development process / Software verification / Static single assignment form / Software / Programming language implementation / Compilers

Software Verification and Graph Similarity for Automated Evaluation of Students’ AssignmentsI Milena Vujoˇsevi´c-Janiˇci´ca,∗, Mladen Nikoli´ca , Duˇsan Toˇsi´ca , Viktor Kuncakb a Faculty of Mathematics, Un

Add to Reading List

Source URL: lara.epfl.ch

Language: English - Date: 2013-01-04 14:06:52
32Lambda calculus / Process calculi / Π-calculus / Calculus / Binary tree / Combinatory logic / Church encoding / Graph / FO / Mathematics / Theoretical computer science / Applied mathematics

The Spider Calculus Computing in Active Graphs Benjamin C. Pierce University of Pennsylvania

Add to Reading List

Source URL: dmwit.com

Language: English - Date: 2010-08-11 18:23:14
33Constant folding / Graph / Matching / Applied mathematics / Mathematics / Theoretical computer science / Graph theory

Occam’s Razor in Metacomputation: the Notion of a Perfect Process Tree Robert Glück1 Andrei V. Klimov2 Institut für Computersprachen University of Technology Vienna A-1040 Vienna, Austria

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:04:53
34Evolving networks / Scale-free network / Degree distribution / Average path length / Clustering coefficient / Social network / Network science / Barabási–Albert model / Graph theory / Network theory / Networks

work’s links were simply determined by a completely random process. • The degree distribution of networks tends to exhibit “fat tails” and often approximate a “scalefree” or “power-law” distribution. Thus

Add to Reading List

Source URL: www.eecs.harvard.edu

Language: English - Date: 2004-05-26 01:42:25
35Mathematics / Operations research / Centrality / Network science / Betweenness centrality / Social network analysis / Modularity / Community structure / Social network / Network theory / Networks / Graph theory

CONNECTIONS Manuscripts selected for publication are done so based on a peer-review process. See instructions to authors for information on manuscript submission. The journal is edited and published by the Connections Ed

Add to Reading List

Source URL: www.insna.org

Language: English - Date: 2014-09-27 18:35:01
36

Picture the process I (graph cards) (Page 1 ofCMEP – Picture the process I

Add to Reading List

Source URL: nrich.maths.org

- Date: 2014-11-06 07:48:52
    37

    Picture the process I (graph cards) (Page 1 ofCMEP – Picture the process I

    Add to Reading List

    Source URL: nrich.maths.org

    - Date: 2014-11-06 07:48:46
      38

      Picture the process I (graph cards) (Page 1 ofCMEP – Picture the process I

      Add to Reading List

      Source URL: nrich.maths.org

      - Date: 2014-11-06 07:48:40
        39Diagrams / Function / Conceptual graph / While loop / Graph / Graph theory / Mathematics / Functions and mappings

        pCG: An Implementation of the Process Mechanism and an Extensible CG Programming Language David J. Benn1 Dan Corbett2 Abstract

        Add to Reading List

        Source URL: www.cs.nmsu.edu

        Language: English - Date: 2001-07-18 10:41:52
        40Brownian motion / Random walk / Randomness / Law / Mobility model / Normal distribution / Entropy / Diffusion process / Random graph / Statistics / Stochastic processes / Probability and statistics

        1 A complexity science perspective on human mobility Fosca Giannotti, Luca Pappalardo, Dino Pedreschi, Dashun Wang Fueled by big data collected by a wide range of high-throughput tools

        Add to Reading List

        Source URL: dashunwang.com

        Language: English - Date: 2014-01-07 21:32:19
        UPDATE